Formal Verification of Payment protocol using AVISPA
نویسندگان
چکیده
منابع مشابه
Formal Verification of Payment protocol using AVISPA
Emerging e-commerce activity is giving scope for the design of many new protocols, and to gain confidence, these protocol need to be verified for its designed properties. Specifically protocol used in ecommerce transactions needs to be verified for their security properties. Verification of these protocols is done using the formal verification tools. AVISPA is one of the evolving tools used mai...
متن کاملA NEW PROTOCOL MODEL FOR VERIFICATION OF PAYMENT ORDER INFORMATION INTEGRITY IN ONLINE E-PAYMENT SYSTEM USING ELLIPTIC CURVE DIFFIE-HELLMAN KEY AGREEMENT PROTOCOL
Two parties that conduct a business transaction through the internet do not see each other personally nor do they exchange any document neither any money hand-to-hand currency. Electronic payment is a way by which the two parties transfer the money through the internet. Therefore integrity of payment and order information of online purchase is an important concern. With online purchase the cust...
متن کاملThe Formal Verification of a Payment System
We describe what we believe was the first use of formal methods to verify a bank payment system. This was an electronic purse for offline small-to-medium value payments, and has since developed into the VISA COPAC product. We verified it using a variant of the BAN logic.
متن کاملFormal Analysis of a Fair Payment Protocol
We formally specify a payment protocol. This protocol is intended for fair exchange of time-sensitive data. Here the μCRL language is used to formalize the protocol. Fair exchangeproperties are expressed in the regular alternation-free μ-calculus. These properties are thenverified using the finite state model checker from the CADP toolset. Proving fairness withoutresilient c...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal for Infonomics
سال: 2010
ISSN: 1742-4712
DOI: 10.20533/iji.1742.4712.2010.0035